Embora funções elementares como $\sin x$ e $e^x$ satisfaçam equações diferenciais básicas, muitos fenômenos físicos — como a distribuição de calor ou estados quânticos — são governados por equações que não possuem soluções em forma fechada. Este slide apresenta a série de Taylor como a ponte fundamental, permitindo representar soluções desconhecidas como séries de potências infinitas.
Ao assumir que uma solução é analítica em um ponto, transformamos o problema de resolver uma equação diferencial no problema de determinar uma sequência de coeficientes numéricos.
1. A Fundamentação da Analiticidade
Uma função $f$ que possui uma expansão em série de Taylor em torno de $x = x_0$ com raio de convergência $\rho > 0$ é dita ser analítica em $x = x_0$. Essa propriedade é o pré-requisito para buscar soluções em série de equações diferenciais ordinárias. Se as funções dos coeficientes da nossa EDO forem analíticas em $x_0$, a solução $y(x)$ é garantida para ser analítica nesse ponto também.
2. Representação em Série de Taylor
A série $\displaystyle f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$ é chamada de série de Taylor da função $f$ em torno de $x = x_0$. Aqui, os coeficientes são definidos por:
$$\displaystyle a_n = \frac{f^{(n)}(x_0)}{n!}$$
Isso conecta o comportamento global da função às suas derivadas locais em um único ponto.
3. Convergência e Validez
Uma solução em série de potências só é significativa dentro do seu raio de convergência. Por exemplo, embora a função exponencial $\displaystyle e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}$ converja para todo $x$ ($\rho = \infty$), outras séries derivadas de equações diferenciais podem convergir apenas dentro de uma distância específica do ponto de expansão $x_0$. Essa distância geralmente é determinada pelos singularidades (onde os coeficientes da equação deixam de ser definidos) da equação.
Considere a equação diferencial $y' = y$ com a condição inicial $y(0)=1$. Em vez de adivinhar a solução, assumimos uma forma em série de potências:
$$y(x) = \sum_{n=0}^{\infty} a_n x^n = a_0 + a_1x + a_2x^2 + \dots$$
Diferenciando obtemos $y'(x) = \sum_{n=1}^{\infty} n a_n x^{n-1}$. Substituindo em $y'=y$:
$$\sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} a_n x^n$$
Alinhando os índices, encontramos $(n+1)a_{n+1} = a_n$, o que implica $\displaystyle a_n = \frac{a_0}{n!}$. Como $y(0)=1$, temos $a_0=1$. O resultado é a série de Taylor para $e^x$.